Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
Libro |
Teoría de la computación y verificación de programas: | Rosenfeld, Ricardo Fabián |
1a ed.
(2010) |
Domicilio
Sala |
|
Libro |
Verification and validation of real-time software | Sin autor |
(c1985) |
Domicilio
|
---------- |
Libro |
Verification of sequential and concurrent programs | Apt, Krsysztof R. |
2nd ed.
(c1997) |
Domicilio
|
---------- |
Libro |
Verificaçao e construçao de programas | Veloso, Paulo A. S. |
1a ed.
(1986) |
Domicilio
|
---------- |
Libro |
Verifying concurrent processes using temporal logic: | Hailpern, Brent T. |
1a ed.
(1982) |
Domicilio
|
---------- |